Articles

• rust

  What would it take to add refinement types to Rust?

  December 22, 2024
• mozilla

  So You Want to Optimize Your Code? (also, a disordered, confusing and absolutely incomplete oral history of Firefox performance)

  November 27, 2023
• Basic

  Programming Languages That Blew My Mind

  November 20, 2023
• politics

  Less Dangerous Than Careless Talk

  November 5, 2023
• compiler

  Coding for a Finite World

  November 1, 2023
• types

  About Safety, Security and yes, C++ and Rust

  February 3, 2023
• Matrix

  Moderated Federated Networks might actually be what we need - part 1

  December 15, 2022
• mozilla

  yoric.steps.next()

  October 26, 2020
• mozilla

  about:Mozilla's blockers and needinfos

  October 8, 2020
• mozilla

  about:Mozilla's #introduction channel - and how it could work for your project

  October 6, 2020
• meta

  Switching to Gitalk

  October 5, 2020